Personal information

Verified email domains

Activities

Works (11)

Adding Semantics to Measurements

Acta Cybernetica
2022-09-02 | Journal article
Contributors: Attila Klenik; András Pataricza
Source: check_circle
Crossref

Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts

IEEE Access
2020 | Journal article
Part of ISSN: 2169-3536
Source: Self-asserted source
Attila Klenik

Industrial applications of the PetriDotNet modelling and analysis tool

Science of Computer Programming
2018 | Journal article
EID:

2-s2.0-85030695575

Part of ISSN: 01676423
Contributors: Vörös, A.; Darvas, D.; Hajdu, Á.; Klenik, A.; Marussy, K.; Molnár, V.; Bartha, T.; Majzik, I.
Source: Self-asserted source
Attila Klenik via Scopus - Elsevier

Performance analysis of critical services

2018 IEEE International Conference on Future IoT Technologies, Future IoT 2018
2018 | Conference paper
EID:

2-s2.0-85050372470

Contributors: Klenik, A.; Pataricza, A.
Source: Self-asserted source
Attila Klenik via Scopus - Elsevier

Systematic performance evaluation using component-in-the-loop approach

International Journal of Cloud Computing
2018 | Journal article
EID:

2-s2.0-85054577914

Part of ISSN: 20439997 20439989
Contributors: Kocsis, I.; Klenik, A.; Pataricza, A.; Telek, M.; Deé, F.; Cseh, D.
Source: Self-asserted source
Attila Klenik via Scopus - Elsevier

Towards Model-Driven Engineering of Smart Contracts for Cyber-Physical Systems

Proceedings - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN-W 2018
2018 | Conference paper
EID:

2-s2.0-85051223936

Contributors: Garamvölgyi, P.; Kocsis, I.; Gehl, B.; Klenik, A.
Source: Self-asserted source
Attila Klenik via Scopus - Elsevier

A Blockchain-based Critical Event Data Recorder for Cyber-Physical Systems

6th International IBM Cloud Academy Conference (ICACON 2018)
2018-05 | Conference paper
Source: Self-asserted source
Attila Klenik

Preliminary Performance Assessment of Hyperledger Fabric

25th PhD Mini-Symposium
2018-01 | Conference paper
Source: Self-asserted source
Attila Klenik

Configurable numerical analysis for stochastic systems

Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR 2016 - Held as Part of CPS Week
2016 | Conference paper
EID:

2-s2.0-84978496183

Contributors: Marussy, K.; Klenik, A.; Molnar, V.; Voros, A.; Telek, M.; Majzik, I.
Source: Self-asserted source
Attila Klenik via Scopus - Elsevier

Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016 | Book
EID:

2-s2.0-84977571019

Part of ISSN: 16113349 03029743
Contributors: Marussy, K.; Klenik, A.; Molnár, V.; Vörös, A.; Majzik, I.; Telek, M.
Source: Self-asserted source
Attila Klenik via Scopus - Elsevier

PetriDotNet 1.5: Extensible Petri net editor and analyser for education and research

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016 | Book
EID:

2-s2.0-84977587162

Part of ISSN: 16113349 03029743
Contributors: Vörös, A.; Darvas, D.; Molnár, V.; Klenik, A.; Hajdu, Á.; Jámbor, A.; Bartha, T.; Majzik, I.
Source: Self-asserted source
Attila Klenik via Scopus - Elsevier